1. Compositional Verification of Concurrent and Real-Time Systems
پدیدآورنده: by Eric Y. T. Juan, Jeffrey J. P. Tsai.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.
2. Compositional verification of concurrent and real-time systems
پدیدآورنده: / by Eric Y.T. Juan, Jeffrey J.P. Tsai
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Real-time data processing,Computer systems -- Verification
رده :
QA
76
.
58
.
J83
2002
